1. Logic of Programs :
پدیدآورنده : edited by Erwin Engeler.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Science,Computer science.,Logic design.
2. Logic of programs : Workshop, ETH Zurich, May-July 1979
پدیدآورنده : edited by Erwin Engeler
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Addresses, essays, lectures ، Computer programs,Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
125
3. Logic of programs : workshop, ETH Zurich, May-July 1979
پدیدآورنده : edited by Erwin Engeler
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Computer programs,، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
125
4. The Combinatory Programme
پدیدآورنده : by Erwin Engeler.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatorial analysis.,Computer science -- Mathematics.,Computer science.
رده :
QA9
.
5
B947
1995
5. The Combinatory programme
پدیدآورنده : / edited by Erwin Engeler
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Combinatory logic
رده :
511
.
3
C731
